Optimal. Leaf size=266 \[ -\frac {A b-a B}{2 (a+b x) \sqrt {a^2+2 a b x+b^2 x^2} (b d-a e)^2}-\frac {a B e-2 A b e+b B d}{\sqrt {a^2+2 a b x+b^2 x^2} (b d-a e)^3}-\frac {e (a+b x) (B d-A e)}{\sqrt {a^2+2 a b x+b^2 x^2} (d+e x) (b d-a e)^3}-\frac {e (a+b x) \log (a+b x) (a B e-3 A b e+2 b B d)}{\sqrt {a^2+2 a b x+b^2 x^2} (b d-a e)^4}+\frac {e (a+b x) \log (d+e x) (a B e-3 A b e+2 b B d)}{\sqrt {a^2+2 a b x+b^2 x^2} (b d-a e)^4} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.25, antiderivative size = 266, normalized size of antiderivative = 1.00, number of steps used = 3, number of rules used = 2, integrand size = 33, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.061, Rules used = {770, 77} \[ -\frac {A b-a B}{2 (a+b x) \sqrt {a^2+2 a b x+b^2 x^2} (b d-a e)^2}-\frac {a B e-2 A b e+b B d}{\sqrt {a^2+2 a b x+b^2 x^2} (b d-a e)^3}-\frac {e (a+b x) (B d-A e)}{\sqrt {a^2+2 a b x+b^2 x^2} (d+e x) (b d-a e)^3}-\frac {e (a+b x) \log (a+b x) (a B e-3 A b e+2 b B d)}{\sqrt {a^2+2 a b x+b^2 x^2} (b d-a e)^4}+\frac {e (a+b x) \log (d+e x) (a B e-3 A b e+2 b B d)}{\sqrt {a^2+2 a b x+b^2 x^2} (b d-a e)^4} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 77
Rule 770
Rubi steps
\begin {align*} \int \frac {A+B x}{(d+e x)^2 \left (a^2+2 a b x+b^2 x^2\right )^{3/2}} \, dx &=\frac {\left (b^2 \left (a b+b^2 x\right )\right ) \int \frac {A+B x}{\left (a b+b^2 x\right )^3 (d+e x)^2} \, dx}{\sqrt {a^2+2 a b x+b^2 x^2}}\\ &=\frac {\left (b^2 \left (a b+b^2 x\right )\right ) \int \left (\frac {A b-a B}{b^2 (b d-a e)^2 (a+b x)^3}+\frac {b B d-2 A b e+a B e}{b^2 (b d-a e)^3 (a+b x)^2}+\frac {e (-2 b B d+3 A b e-a B e)}{b^2 (b d-a e)^4 (a+b x)}-\frac {e^2 (-B d+A e)}{b^3 (b d-a e)^3 (d+e x)^2}-\frac {e^2 (-2 b B d+3 A b e-a B e)}{b^3 (b d-a e)^4 (d+e x)}\right ) \, dx}{\sqrt {a^2+2 a b x+b^2 x^2}}\\ &=-\frac {b B d-2 A b e+a B e}{(b d-a e)^3 \sqrt {a^2+2 a b x+b^2 x^2}}-\frac {A b-a B}{2 (b d-a e)^2 (a+b x) \sqrt {a^2+2 a b x+b^2 x^2}}-\frac {e (B d-A e) (a+b x)}{(b d-a e)^3 (d+e x) \sqrt {a^2+2 a b x+b^2 x^2}}-\frac {e (2 b B d-3 A b e+a B e) (a+b x) \log (a+b x)}{(b d-a e)^4 \sqrt {a^2+2 a b x+b^2 x^2}}+\frac {e (2 b B d-3 A b e+a B e) (a+b x) \log (d+e x)}{(b d-a e)^4 \sqrt {a^2+2 a b x+b^2 x^2}}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A] time = 0.18, size = 174, normalized size = 0.65 \[ \frac {(a+b x) \left (-2 (a+b x) (b d-a e) (a B e-2 A b e+b B d)+\frac {2 e (a+b x)^2 (b d-a e) (A e-B d)}{d+e x}-2 e (a+b x)^2 \log (a+b x) (a B e-3 A b e+2 b B d)+2 e (a+b x)^2 \log (d+e x) (a B e-3 A b e+2 b B d)+(a B-A b) (b d-a e)^2\right )}{2 \left ((a+b x)^2\right )^{3/2} (b d-a e)^4} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [B] time = 0.76, size = 803, normalized size = 3.02 \[ -\frac {2 \, A a^{3} e^{3} + {\left (B a b^{2} + A b^{3}\right )} d^{3} + 2 \, {\left (2 \, B a^{2} b - 3 \, A a b^{2}\right )} d^{2} e - {\left (5 \, B a^{3} - 3 \, A a^{2} b\right )} d e^{2} + 2 \, {\left (2 \, B b^{3} d^{2} e - {\left (B a b^{2} + 3 \, A b^{3}\right )} d e^{2} - {\left (B a^{2} b - 3 \, A a b^{2}\right )} e^{3}\right )} x^{2} + {\left (2 \, B b^{3} d^{3} + {\left (5 \, B a b^{2} - 3 \, A b^{3}\right )} d^{2} e - 2 \, {\left (2 \, B a^{2} b + 3 \, A a b^{2}\right )} d e^{2} - 3 \, {\left (B a^{3} - 3 \, A a^{2} b\right )} e^{3}\right )} x + 2 \, {\left (2 \, B a^{2} b d^{2} e + {\left (B a^{3} - 3 \, A a^{2} b\right )} d e^{2} + {\left (2 \, B b^{3} d e^{2} + {\left (B a b^{2} - 3 \, A b^{3}\right )} e^{3}\right )} x^{3} + {\left (2 \, B b^{3} d^{2} e + {\left (5 \, B a b^{2} - 3 \, A b^{3}\right )} d e^{2} + 2 \, {\left (B a^{2} b - 3 \, A a b^{2}\right )} e^{3}\right )} x^{2} + {\left (4 \, B a b^{2} d^{2} e + 2 \, {\left (2 \, B a^{2} b - 3 \, A a b^{2}\right )} d e^{2} + {\left (B a^{3} - 3 \, A a^{2} b\right )} e^{3}\right )} x\right )} \log \left (b x + a\right ) - 2 \, {\left (2 \, B a^{2} b d^{2} e + {\left (B a^{3} - 3 \, A a^{2} b\right )} d e^{2} + {\left (2 \, B b^{3} d e^{2} + {\left (B a b^{2} - 3 \, A b^{3}\right )} e^{3}\right )} x^{3} + {\left (2 \, B b^{3} d^{2} e + {\left (5 \, B a b^{2} - 3 \, A b^{3}\right )} d e^{2} + 2 \, {\left (B a^{2} b - 3 \, A a b^{2}\right )} e^{3}\right )} x^{2} + {\left (4 \, B a b^{2} d^{2} e + 2 \, {\left (2 \, B a^{2} b - 3 \, A a b^{2}\right )} d e^{2} + {\left (B a^{3} - 3 \, A a^{2} b\right )} e^{3}\right )} x\right )} \log \left (e x + d\right )}{2 \, {\left (a^{2} b^{4} d^{5} - 4 \, a^{3} b^{3} d^{4} e + 6 \, a^{4} b^{2} d^{3} e^{2} - 4 \, a^{5} b d^{2} e^{3} + a^{6} d e^{4} + {\left (b^{6} d^{4} e - 4 \, a b^{5} d^{3} e^{2} + 6 \, a^{2} b^{4} d^{2} e^{3} - 4 \, a^{3} b^{3} d e^{4} + a^{4} b^{2} e^{5}\right )} x^{3} + {\left (b^{6} d^{5} - 2 \, a b^{5} d^{4} e - 2 \, a^{2} b^{4} d^{3} e^{2} + 8 \, a^{3} b^{3} d^{2} e^{3} - 7 \, a^{4} b^{2} d e^{4} + 2 \, a^{5} b e^{5}\right )} x^{2} + {\left (2 \, a b^{5} d^{5} - 7 \, a^{2} b^{4} d^{4} e + 8 \, a^{3} b^{3} d^{3} e^{2} - 2 \, a^{4} b^{2} d^{2} e^{3} - 2 \, a^{5} b d e^{4} + a^{6} e^{5}\right )} x\right )}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [B] time = 0.53, size = 708, normalized size = 2.66 \[ \frac {{\left (2 \, B b d e^{2} + B a e^{3} - 3 \, A b e^{3}\right )} \log \left ({\left | -b + \frac {b d}{x e + d} - \frac {a e}{x e + d} \right |}\right )}{b^{4} d^{4} e \mathrm {sgn}\left (-\frac {b e}{x e + d} + \frac {b d e}{{\left (x e + d\right )}^{2}} - \frac {a e^{2}}{{\left (x e + d\right )}^{2}}\right ) - 4 \, a b^{3} d^{3} e^{2} \mathrm {sgn}\left (-\frac {b e}{x e + d} + \frac {b d e}{{\left (x e + d\right )}^{2}} - \frac {a e^{2}}{{\left (x e + d\right )}^{2}}\right ) + 6 \, a^{2} b^{2} d^{2} e^{3} \mathrm {sgn}\left (-\frac {b e}{x e + d} + \frac {b d e}{{\left (x e + d\right )}^{2}} - \frac {a e^{2}}{{\left (x e + d\right )}^{2}}\right ) - 4 \, a^{3} b d e^{4} \mathrm {sgn}\left (-\frac {b e}{x e + d} + \frac {b d e}{{\left (x e + d\right )}^{2}} - \frac {a e^{2}}{{\left (x e + d\right )}^{2}}\right ) + a^{4} e^{5} \mathrm {sgn}\left (-\frac {b e}{x e + d} + \frac {b d e}{{\left (x e + d\right )}^{2}} - \frac {a e^{2}}{{\left (x e + d\right )}^{2}}\right )} + \frac {\frac {B d e^{4}}{x e + d} - \frac {A e^{5}}{x e + d}}{b^{3} d^{3} e^{3} \mathrm {sgn}\left (-\frac {b e}{x e + d} + \frac {b d e}{{\left (x e + d\right )}^{2}} - \frac {a e^{2}}{{\left (x e + d\right )}^{2}}\right ) - 3 \, a b^{2} d^{2} e^{4} \mathrm {sgn}\left (-\frac {b e}{x e + d} + \frac {b d e}{{\left (x e + d\right )}^{2}} - \frac {a e^{2}}{{\left (x e + d\right )}^{2}}\right ) + 3 \, a^{2} b d e^{5} \mathrm {sgn}\left (-\frac {b e}{x e + d} + \frac {b d e}{{\left (x e + d\right )}^{2}} - \frac {a e^{2}}{{\left (x e + d\right )}^{2}}\right ) - a^{3} e^{6} \mathrm {sgn}\left (-\frac {b e}{x e + d} + \frac {b d e}{{\left (x e + d\right )}^{2}} - \frac {a e^{2}}{{\left (x e + d\right )}^{2}}\right )} + \frac {2 \, B b^{3} d e + 3 \, B a b^{2} e^{2} - 5 \, A b^{3} e^{2} - \frac {2 \, {\left (B b^{3} d^{2} e^{2} + B a b^{2} d e^{3} - 3 \, A b^{3} d e^{3} - 2 \, B a^{2} b e^{4} + 3 \, A a b^{2} e^{4}\right )} e^{\left (-1\right )}}{x e + d}}{2 \, {\left (b d - a e\right )}^{4} {\left (b - \frac {b d}{x e + d} + \frac {a e}{x e + d}\right )}^{2} \mathrm {sgn}\left (-\frac {b e}{x e + d} + \frac {b d e}{{\left (x e + d\right )}^{2}} - \frac {a e^{2}}{{\left (x e + d\right )}^{2}}\right )} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [B] time = 0.07, size = 828, normalized size = 3.11 \[ \frac {\left (6 A \,b^{3} e^{3} x^{3} \ln \left (b x +a \right )-6 A \,b^{3} e^{3} x^{3} \ln \left (e x +d \right )-2 B a \,b^{2} e^{3} x^{3} \ln \left (b x +a \right )+2 B a \,b^{2} e^{3} x^{3} \ln \left (e x +d \right )-4 B \,b^{3} d \,e^{2} x^{3} \ln \left (b x +a \right )+4 B \,b^{3} d \,e^{2} x^{3} \ln \left (e x +d \right )+12 A a \,b^{2} e^{3} x^{2} \ln \left (b x +a \right )-12 A a \,b^{2} e^{3} x^{2} \ln \left (e x +d \right )+6 A \,b^{3} d \,e^{2} x^{2} \ln \left (b x +a \right )-6 A \,b^{3} d \,e^{2} x^{2} \ln \left (e x +d \right )-4 B \,a^{2} b \,e^{3} x^{2} \ln \left (b x +a \right )+4 B \,a^{2} b \,e^{3} x^{2} \ln \left (e x +d \right )-10 B a \,b^{2} d \,e^{2} x^{2} \ln \left (b x +a \right )+10 B a \,b^{2} d \,e^{2} x^{2} \ln \left (e x +d \right )-4 B \,b^{3} d^{2} e \,x^{2} \ln \left (b x +a \right )+4 B \,b^{3} d^{2} e \,x^{2} \ln \left (e x +d \right )+6 A \,a^{2} b \,e^{3} x \ln \left (b x +a \right )-6 A \,a^{2} b \,e^{3} x \ln \left (e x +d \right )+12 A a \,b^{2} d \,e^{2} x \ln \left (b x +a \right )-12 A a \,b^{2} d \,e^{2} x \ln \left (e x +d \right )-6 A a \,b^{2} e^{3} x^{2}+6 A \,b^{3} d \,e^{2} x^{2}-2 B \,a^{3} e^{3} x \ln \left (b x +a \right )+2 B \,a^{3} e^{3} x \ln \left (e x +d \right )-8 B \,a^{2} b d \,e^{2} x \ln \left (b x +a \right )+8 B \,a^{2} b d \,e^{2} x \ln \left (e x +d \right )+2 B \,a^{2} b \,e^{3} x^{2}-8 B a \,b^{2} d^{2} e x \ln \left (b x +a \right )+8 B a \,b^{2} d^{2} e x \ln \left (e x +d \right )+2 B a \,b^{2} d \,e^{2} x^{2}-4 B \,b^{3} d^{2} e \,x^{2}+6 A \,a^{2} b d \,e^{2} \ln \left (b x +a \right )-6 A \,a^{2} b d \,e^{2} \ln \left (e x +d \right )-9 A \,a^{2} b \,e^{3} x +6 A a \,b^{2} d \,e^{2} x +3 A \,b^{3} d^{2} e x -2 B \,a^{3} d \,e^{2} \ln \left (b x +a \right )+2 B \,a^{3} d \,e^{2} \ln \left (e x +d \right )+3 B \,a^{3} e^{3} x -4 B \,a^{2} b \,d^{2} e \ln \left (b x +a \right )+4 B \,a^{2} b \,d^{2} e \ln \left (e x +d \right )+4 B \,a^{2} b d \,e^{2} x -5 B a \,b^{2} d^{2} e x -2 B \,b^{3} d^{3} x -2 A \,a^{3} e^{3}-3 A \,a^{2} b d \,e^{2}+6 A a \,b^{2} d^{2} e -A \,b^{3} d^{3}+5 B \,a^{3} d \,e^{2}-4 B \,a^{2} b \,d^{2} e -B a \,b^{2} d^{3}\right ) \left (b x +a \right )}{2 \left (e x +d \right ) \left (a e -b d \right )^{4} \left (\left (b x +a \right )^{2}\right )^{\frac {3}{2}}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [F(-2)] time = 0.00, size = 0, normalized size = 0.00 \[ \text {Exception raised: ValueError} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [F] time = 0.00, size = -1, normalized size = -0.00 \[ \int \frac {A+B\,x}{{\left (d+e\,x\right )}^2\,{\left (a^2+2\,a\,b\,x+b^2\,x^2\right )}^{3/2}} \,d x \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [F] time = 0.00, size = 0, normalized size = 0.00 \[ \int \frac {A + B x}{\left (d + e x\right )^{2} \left (\left (a + b x\right )^{2}\right )^{\frac {3}{2}}}\, dx \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________